Perpetual Struggle
نویسندگان
چکیده
منابع مشابه
Perpetual Trade Liberalization
If the costs of going back on previously agreed tari¤ reductions are high relative to the terms of trade gains, then the multilateral liberalization process becomes ‘perpetual’. Perpetual trade liberalization has two unique characteristics. (i) No ‘e¢cient’ tari¤ level exists at which liberalization stops. (ii) Some liberalization must occur in every period. International agreements and institu...
متن کاملPerpetual Requirements Engineering
This dissertation attempts to make a contribution within the fields of distributed systems, security, and formal verification. We provide a way to formally assess the impact of a given change in three different contexts. We have developed a logic based on Lewis’s Counterfactual Logic. First we show how our approach is applied to a standard sequential programming setting. Then, we show how a mod...
متن کاملPerpetual Graph Searching
In graph searching, a team of mobile agents aims at clearing the edges of a contaminated graph. To clear an edge, an agent has to slide along it, however, an edge can be recontaminated if there is a path without agents from a contaminated edge to a clear edge. To goal of graph searching is to clear the graph, i.e., all edges are clear simultaneously, using the fewest number of agents. We study ...
متن کاملPerpetual Convertible Bonds
A firm issues a convertible bond. At each subsequent time, the bondholder must decide whether to continue to hold the bond, thereby collecting coupons, or to convert it to stock. The firm may at any time call the bond. Because calls and conversions often occur far from maturity, it is not unreasonable to model this situation with a perpetual convertible bond, i.e., a convertible coupon-paying b...
متن کاملPerpetual Reductions in *-Calculus
This paper surveys a part of the theory of ;-reduction in *-calculus which might aptly be called perpetual reductions. The theory is concerned with perpetual reduction strategies, i.e., reduction strategies that compute infinite reduction paths from *-terms (when possible), and with perpetual redexes, i.e., redexes whose contraction in *-terms preserves the possibility (when present) of infinit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hypatia
سال: 2019
ISSN: 0887-5367,1527-2001
DOI: 10.1111/hypa.12452